Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
21	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
22	Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.” Add to Reading List Source URL: pit-claudel.fr Language: English - Date: 2014-11-16 16:27:57
23	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14
24	PATETeaching logic using a state-of-the-art proof assistant Cezary Kaliszyk Freek Wiedijk Radboud Universiteit Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2007-08-28 11:00:09
25	Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag Add to Reading List Source URL: www.staff.science.uu.nl Language: English
26	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-07-12 08:18:06 Automated theorem proving Formal methods Theoretical computer science Proof theory Logic in computer science Mathematical proof Proof assistant Isabelle Theorem Proof Formal verification
27	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
28	Concrete Semantics A Proof Assistant Approach Tobias Nipkow Fakult¨ at f¨ ur Informatik Add to Reading List Source URL: concrete-semantics.org - Date: 2016-02-29 08:31:03
29	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-11 12:51:44 Automated theorem proving Logic Mathematics Mathematical logic Rippling Theorem Mathematical proof Isabelle Proof assistant
30	Intro Examples Where next? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:45 Automated theorem proving Mathematical proof Proof assistant Theorem Formal methods Proof